Yohan Boichut And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 3.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003F30 | Emilie Balland [France] ; Yohan Boichut [France] ; Thomas Genet [France] ; Pierre-Etienne Moreau [France] | Towards an Efficient Implementation of Tree Automata Completion |
| 004288 | Emilie Balland [France] ; Yohan Boichut [France] ; Thomas Genet [France] ; Pierre-Etienne Moreau [France] | Towards an Efficient Implementation of Tree Automata Completion |
| 005D45 | Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyril Héam ; O. Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Mathieu Turuani ; Luca Vigano ; Laurent Vigneron | The AVISPA Tool for the automated validation of internet security protocols and applications |
| This area was generated with Dilib version V0.6.33. |  |